Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
721	Chapter 5: Random Sampling and Randomized Rounding of Linear Programs (cp. Williamson & Shmoys, Chapter 5) Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-11-28 07:15:06 NP-complete problems Combinatorial optimization Analysis of algorithms Logic in computer science Time complexity Boolean satisfiability problem Randomized algorithm Algorithm Maximum satisfiability problem Theoretical computer science Applied mathematics Computational complexity theory
722	PHYSICAL REVIEW E 84, [removed]Strong collapse turbulence in a quintic nonlinear Schr¨odinger equation Yeojin Chung1 and Pavel M. Lushnikov2 1 Add to Reading List Source URL: math.unm.edu Language: English - Date: 2011-09-14 14:08:01 Superconductivity Wave Linear temporal logic Partial differential equations Quantum mechanics Ginzburg–Landau theory
723	A theorem on homogeneous differential polynomials Matthew Buck 1 Abstract Add to Reading List Source URL: mattbuck.irongalaxy.com Language: English - Date: 2013-02-28 20:02:34 Functional analysis Distribution Nevanlinna theory Lemmas Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Smooth functions
724	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation
725	[removed]): Manuscript for presentation at IPSJ-SIGPRO, 8 June[removed]Regular Paper Decidability and Undecidability Results of Modal µ-calculi with N1 Semantics Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Symbol Interpretation Mathematics Metalogic Linear temporal logic Spectral theory of ordinary differential equations Formal languages Logic Model theory
726	IMRN International Mathematics Research Notices 2000, No. 11 The Space of Degenerate Whittaker Models for General Linear Groups over a Finite Field Dipendra Prasad Add to Reading List Source URL: www.math.tifr.res.in Language: English - Date: 2006-11-07 20:44:34 Induced representation Simple module Cuspidal representation Unipotent Deligne–Lusztig theory Linear temporal logic Abstract algebra Algebra Representation theory
727	WSEAS TRANSACTIONS ON MATHEMATICS Issue 6 . Volume 6 . June 2007 ISSN: [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-10 20:11:14 Operations research Travelling salesman problem Linear programming Combinatory logic Optimization problem Four-square cipher Obfuscated code Mathematics Theoretical computer science Applied mathematics
728	Solving Linear Rational Expectations Models: A Horse Race Add to Reading List Source URL: www.federalreserve.gov Language: English - Date: 2006-07-21 16:52:51 Algorithm Mathematical logic Time complexity Matrix Polynomial Quadratic Theoretical computer science Applied mathematics Mathematics
729	ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Temporal logic Model checkers Formal methods Model checking Formal verification Linear temporal logic Computation tree logic CTL* Theoretical computer science Mathematical logic Applied mathematics
730	Melbourne Institute Working Paper Series Working Paper No[removed]A Bayesian Simulation Approach to Inference on a Multi-State Latent Factor Intensity Model Chew Lian Chua, G. C. Lim and Penelope Smith Add to Reading List Source URL: www.melbourneinstitute.com Language: English - Date: 2010-06-15 20:51:35 Linear temporal logic Symbol Statistics Marginal likelihood Probability theory

UPDATE